Aminet 2

home *** CD-ROM | disk | FTP | other *** search

/ Aminet 2 / Aminet AMIGA CDROM (1994)(Walnut Creek)[Feb 1994][W.O. 44790-1].iso / Aminet / dev / c / cpp2latex.lha / c++2latex / c++2latex.c < prev next >

Wrap

C/C++ Source or Header | 1992-05-16 | 62.4 KB | 2,059 lines

/* A lexical scanner generated by flex */ /* scanner skeleton version: * $Header: /usr/fsys/odin/a/vern/flex/RCS/flex.skel,v 2.16 90/08/03 14:09:36 vern Exp $ */ #define FLEX_SCANNER #include <stdio.h> /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ #ifdef c_plusplus #ifndef __cplusplus #define __cplusplus #endif #endif #ifdef __cplusplus #include <stdlib.h> #include <osfcn.h> /* use prototypes in function declarations */ #define YY_USE_PROTOS /* the "const" storage-class-modifier is valid */ #define YY_USE_CONST #else /* ! __cplusplus */ #ifdef __STDC__ #ifdef __GNUC__ #include <stddef.h> void *malloc( size_t ); void free( void* ); #else #include <stdlib.h> #endif /* __GNUC__ */ #define YY_USE_PROTOS #define YY_USE_CONST #endif /* __STDC__ */ #endif /* ! __cplusplus */ #ifdef __TURBOC__ #define YY_USE_CONST #endif #ifndef YY_USE_CONST #define const #endif #ifdef YY_USE_PROTOS #define YY_PROTO(proto) proto #else #define YY_PROTO(proto) () /* we can't get here if it's an ANSI C compiler, or a C++ compiler, * so it's got to be a K&R compiler, and therefore there's no standard * place from which to include these definitions */ char *malloc(); int free(); int read(); #endif /* amount of stuff to slurp up with each read */ #ifndef YY_READ_BUF_SIZE #define YY_READ_BUF_SIZE 8192 #endif /* returned upon end-of-file */ #define YY_END_TOK 0 /* copy whatever the last rule matched to the standard output */ /* cast to (char *) is because for 8-bit chars, yytext is (unsigned char *) */ /* this used to be an fputs(), but since the string might contain NUL's, * we now use fwrite() */ #define ECHO (void) fwrite( (char *) yytext, yyleng, 1, yyout ) /* gets input and stuffs it into "buf". number of characters read, or YY_NULL, * is returned in "result". */ #define YY_INPUT(buf,result,max_size) \ if ( (result = read( fileno(yyin), (char *) buf, max_size )) < 0 ) \ YY_FATAL_ERROR( "read() in flex scanner failed" ); #define YY_NULL 0 /* no semi-colon after return; correct usage is to write "yyterminate();" - * we don't want an extra ';' after the "return" because that will cause * some compilers to complain about unreachable statements. */ #define yyterminate() return ( YY_NULL ) /* report a fatal error */ /* The funky do-while is used to turn this macro definition into * a single C statement (which needs a semi-colon terminator). * This avoids problems with code like: * * if ( something_happens ) * YY_FATAL_ERROR( "oops, the something happened" ); * else * everything_okay(); * * Prior to using the do-while the compiler would get upset at the * "else" because it interpreted the "if" statement as being all * done when it reached the ';' after the YY_FATAL_ERROR() call. */ #define YY_FATAL_ERROR(msg) \ do \ { \ (void) fputs( msg, stderr ); \ (void) putc( '\n', stderr ); \ exit( 1 ); \ } \ while ( 0 ) /* default yywrap function - always treat EOF as an EOF */ #define yywrap() 1 /* enter a start condition. This macro really ought to take a parameter, * but we do it the disgusting crufty way forced on us by the ()-less * definition of BEGIN */ #define BEGIN yy_start = 1 + 2 * /* action number for EOF rule of a given start state */ #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) /* special action meaning "start processing a new file" */ #define YY_NEW_FILE \ do \ { \ yy_init_buffer( yy_current_buffer, yyin ); \ yy_load_buffer_state(); \ } \ while ( 0 ) /* default declaration of generated scanner - a define so the user can * easily add parameters */ #define YY_DECL int yylex YY_PROTO(( void )) /* code executed at the end of each rule */ #define YY_BREAK break; #define YY_END_OF_BUFFER_CHAR 0 #ifndef YY_BUF_SIZE #define YY_BUF_SIZE (YY_READ_BUF_SIZE * 2) /* size of default input buffer */ #endif typedef struct yy_buffer_state *YY_BUFFER_STATE; #define YY_CHAR char # line 1 "c++2latex.l" #define INITIAL 0 /* * This is a flex input file but should be edited in -*-C-*- mode * * C++2LaTeX: Produce prettyprinted LaTeX files from C++ or C sources. * Copyright (C) 1990 Norbert Kiesel * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 1, or (at your option) * any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. * * Norbert Kiesel * RWTH Aachen / Institut f. Informatik III * Ahornstr. 55 * D-5100 Aachen * West Germany * * Phone: +49 241 80-7266 * EUNET: norbert@rwthi3.uucp * USENET: ...!mcvax!unido!rwthi3!norbert * X.400: norbert@rwthi3.informatik.rwth-aachen.de * * Please contact me for any bugs you find in this code or any * improvements! I'd also be very happy to get feedback where and * how frequently this program is used (just drop a little mail :-). * * --------------------------------------------------------------------- * * C++2LaTeX 2.0: * Produce even more prettyprinted LaTeX files from C++ or C sources. * * Copyright (C) 1991 Joerg Heitkoetter * Systems Analysis Group, University of Dortmund, Germany. * (heitkoet@gorbi.informatik.uni-dortmund.de). * */ #define STRING 1 #define BCOMMENT 2 #define INCLUDE 3 #define SLASHCOMMENT 4 #define CPLUSPLUS 5 # line 51 "c++2latex.l" #define KEY printf ("{\\%s %s}", keyword_font, yytext) #define CPP printf ("{\\%s \\%s}", cpp_font, yytext) #define SYM(x) printf ("$\\%s$", x) #define OUT(x) printf ("%s", x) #define BTAB printf ("\\hspace*{%d\\indentation}", tabtobrace) #define CTAB printf ("\\hspace*{%d\\indentation}", tabtocomment) #define FONT(x) printf ("{\\%s ",x); #define SUB(x) substitute(x) #define IND indent(yytext) #define INIT BEGIN (cplusplus_mode ? CPLUSPLUS : INITIAL); #define REPARSE yyless (0) #include <stdio.h> #ifdef ANSI_C #ifdef C_PLUSPLUS #error ANSI_C and C_PLUSPLUS are mutually exclusive #else int cplusplus_mode = 0; #endif #else /* CPLUSPLUS or default */ int cplusplus_mode = 1; #endif int complete_file = 0; int header = 0; int tabtotab = 8; int piped = 0; int aligntoright = 1; /* align comments to the right -joke */ int tabtobrace = 2; /* distance between closing brace and corresponding comment -joke */ int tabtocomment = 4; /* distance between statement and corresponding comment -joke */ char *font_size = "10"; /* used to be 11 -joke */ char *indentation = "0.5em"; char *comment_font = "it"; char *keyword_font = "bf"; char *header_font = "sl"; char *cpp_font = "tt"; char *string_font = "tt"; #ifdef __STDC__ void substitute(const char *); void indent(const char *); void newpage(int); void usage(const char *); #else void substitute(); void indent(); void newpage(); void usage(); #endif # line 105 "c++2latex.l" /* done after the current pattern has been matched and before the * corresponding action - sets up yytext */ #define YY_DO_BEFORE_ACTION \ yytext = yy_bp; \ yyleng = yy_cp - yy_bp; \ yy_hold_char = *yy_cp; \ *yy_cp = '\0'; \ yy_c_buf_p = yy_cp; #define EOB_ACT_CONTINUE_SCAN 0 #define EOB_ACT_END_OF_FILE 1 #define EOB_ACT_LAST_MATCH 2 /* return all but the first 'n' matched characters back to the input stream */ #define yyless(n) \ do \ { \ /* undo effects of setting up yytext */ \ *yy_cp = yy_hold_char; \ yy_c_buf_p = yy_cp = yy_bp + n; \ YY_DO_BEFORE_ACTION; /* set up yytext again */ \ } \ while ( 0 ) #define unput(c) yyunput( c, yytext ) struct yy_buffer_state { FILE *yy_input_file; YY_CHAR *yy_ch_buf; /* input buffer */ YY_CHAR *yy_buf_pos; /* current position in input buffer */ /* size of input buffer in bytes, not including room for EOB characters*/ int yy_buf_size; /* number of characters read into yy_ch_buf, not including EOB characters */ int yy_n_chars; int yy_eof_status; /* whether we've seen an EOF on this buffer */ #define EOF_NOT_SEEN 0 /* "pending" happens when the EOF has been seen but there's still * some text process */ #define EOF_PENDING 1 #define EOF_DONE 2 }; static YY_BUFFER_STATE yy_current_buffer; /* we provide macros for accessing buffer states in case in the * future we want to put the buffer states in a more general * "scanner state" */ #define YY_CURRENT_BUFFER yy_current_buffer /* yy_hold_char holds the character lost when yytext is formed */ static YY_CHAR yy_hold_char; static int yy_n_chars; /* number of characters read into yy_ch_buf */ #ifndef YY_USER_ACTION #define YY_USER_ACTION #endif #ifndef YY_USER_INIT #define YY_USER_INIT #endif extern YY_CHAR *yytext; extern int yyleng; extern FILE *yyin, *yyout; YY_CHAR *yytext; int yyleng; FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0; #define YY_END_OF_BUFFER 162 typedef int yy_state_type; static const short int yy_accept[609] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 162, 161, 158, 160, 159, 110, 138, 161, 101, 100, 161, 118, 119, 88, 112, 107, 111, 108, 92, 149, 149, 105, 109, 93, 106, 94, 104, 124, 124, 120, 161, 121, 89, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 98, 90, 99, 87, 157, 92, 144, 142, 141, 144, 143, 131, 130, 129, 131, 18, 16, 17, 18, 18, 137, 136, 135, 123, 111, 108, 92, 105, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 99, 157, 92, 158, 159, 79, 0, 0, 0, 0, 0, 0, 0, 96, 95, 97, 0, 0, 82, 115, 116, 102, 117, 74, 0, 145, 127, 113, 146, 149, 149, 0, 149, 0, 75, 77, 114, 78, 76, 124, 138, 0, 156, 85, 124, 124, 124, 124, 124, 124, 47, 124, 124, 124, 124, 124, 124, 48, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 86, 80, 0, 0, 157, 0, 126, 140, 139, 143, 130, 128, 16, 0, 15, 0, 14, 136, 123, 74, 103, 134, 122, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 47, 123, 123, 123, 123, 123, 123, 123, 123, 48, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 0, 0, 157, 0, 133, 0, 0, 0, 0, 12, 5, 0, 0, 0, 0, 150, 0, 150, 0, 0, 81, 0, 145, 145, 0, 146, 149, 0, 147, 155, 83, 84, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 40, 124, 21, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 125, 126, 91, 64, 71, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 40, 123, 123, 123, 21, 123, 51, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 70, 123, 123, 123, 123, 123, 123, 123, 132, 133, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 151, 152, 0, 0, 0, 147, 145, 0, 148, 155, 19, 124, 27, 31, 124, 124, 124, 124, 24, 28, 124, 124, 44, 25, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 124, 42, 124, 124, 19, 123, 27, 123, 31, 123, 123, 123, 123, 123, 123, 123, 24, 28, 123, 123, 123, 123, 44, 123, 25, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 123, 53, 123, 123, 123, 123, 42, 123, 123, 0, 8, 9, 0, 0, 0, 0, 0, 11, 0, 0, 0, 153, 0, 23, 35, 124, 124, 124, 124, 36, 124, 124, 37, 124, 124, 124, 124, 124, 124, 34, 124, 124, 50, 23, 72, 55, 35, 123, 123, 123, 123, 123, 123, 123, 36, 123, 123, 123, 123, 123, 123, 123, 67, 123, 123, 123, 37, 123, 123, 123, 123, 123, 123, 123, 34, 123, 123, 123, 50, 0, 13, 10, 6, 0, 0, 0, 3, 124, 124, 20, 32, 124, 33, 41, 45, 49, 22, 26, 124, 124, 124, 123, 123, 52, 20, 123, 65, 32, 60, 61, 123, 123, 123, 123, 56, 68, 123, 123, 33, 41, 45, 49, 22, 26, 123, 63, 123, 123, 123, 2, 7, 0, 4, 124, 43, 124, 30, 124, 124, 123, 43, 62, 123, 123, 123, 58, 123, 123, 69, 30, 123, 59, 123, 1, 39, 29, 38, 46, 39, 123, 54, 73, 123, 29, 38, 46, 66, 57, 0 } ; static const YY_CHAR yy_ec[128] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 22, 22, 22, 22, 22, 22, 23, 23, 24, 25, 26, 27, 28, 29, 30, 31, 31, 31, 31, 32, 33, 34, 34, 34, 34, 34, 35, 34, 34, 34, 34, 34, 34, 34, 34, 36, 34, 34, 34, 34, 34, 37, 38, 39, 40, 34, 30, 41, 42, 43, 44, 45, 46, 47, 48, 49, 34, 50, 51, 52, 53, 54, 55, 34, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 1 } ; static const YY_CHAR yy_meta[69] = { 0, 1, 1, 1, 1, 2, 2, 3, 2, 4, 2, 2, 5, 2, 2, 2, 2, 2, 2, 2, 2, 6, 6, 7, 2, 2, 2, 2, 2, 3, 2, 7, 7, 7, 8, 8, 8, 2, 3, 2, 2, 6, 6, 7, 7, 7, 6, 8, 8, 8, 8, 8, 8, 9, 8, 8, 9, 8, 9, 8, 9, 8, 9, 8, 8, 2, 2, 2, 2 } ; static const short int yy_base[623] = { 0, 0, 67, 67, 73, 79, 83, 88, 94, 101, 105, 120, 187, 1148, 1149, 87, 1149, 1144, 1119, 1149, 188, 1118, 89, 1106, 1149, 1149, 1116, 86, 1149, 91, 175, 56, 229, 183, 1149, 1149, 173, 1115, 181, 1149, 0, 105, 1149, 1138, 1149, 1113, 1080, 1082, 162, 166, 161, 170, 1083, 176, 1082, 1090, 177, 1071, 1080, 1078, 1083, 1149, 164, 239, 1149, 251, 186, 1149, 1149, 1149, 248, 244, 1149, 252, 1149, 1110, 1149, 261, 1149, 1122, 1100, 1149, 265, 1149, 0, 250, 260, 269, 1103, 1117, 286, 260, 231, 264, 276, 263, 290, 208, 267, 249, 70, 283, 291, 186, 300, 314, 298, 288, 315, 351, 352, 307, 324, 1149, 1149, 330, 1080, 331, 287, 1075, 1067, 1069, 1149, 1149, 1149, 1109, 343, 1149, 1149, 1149, 1149, 1149, 1149, 1101, 369, 1149, 1149, 376, 407, 412, 433, 1149, 0, 1092, 1149, 1149, 1149, 1091, 0, 1149, 1079, 1149, 1149, 1058, 1070, 1057, 1072, 1059, 1065, 1051, 1052, 1049, 1049, 1052, 1049, 1046, 0, 1045, 1049, 320, 1047, 281, 327, 1051, 1044, 253, 337, 1049, 1149, 1149, 398, 1082, 405, 1081, 1149, 1149, 1149, 364, 371, 1149, 411, 1088, 1149, 1066, 1149, 435, 0, 1078, 1149, 1149, 1149, 1083, 343, 371, 387, 350, 403, 397, 423, 415, 427, 408, 432, 437, 410, 441, 444, 450, 453, 456, 1082, 461, 463, 465, 466, 468, 471, 467, 472, 477, 473, 470, 474, 479, 480, 478, 481, 482, 484, 494, 483, 502, 316, 503, 480, 1149, 1044, 461, 1045, 1032, 1149, 192, 1044, 1033, 1044, 1040, 1149, 1071, 1070, 525, 0, 1149, 532, 1149, 535, 543, 1149, 1149, 550, 553, 542, 1149, 1149, 1027, 1039, 1034, 1022, 439, 1036, 1034, 1030, 1022, 1028, 1031, 0, 1017, 0, 1023, 1020, 1009, 1011, 1013, 1020, 1006, 1004, 1004, 1016, 1006, 1010, 1014, 1016, 1005, 1149, 1149, 1149, 1046, 1045, 529, 543, 540, 551, 533, 535, 542, 554, 553, 560, 570, 573, 578, 579, 581, 582, 1044, 587, 588, 594, 1043, 597, 1042, 595, 596, 598, 599, 603, 604, 600, 605, 601, 606, 610, 608, 607, 611, 613, 612, 1041, 619, 618, 624, 616, 622, 626, 625, 1149, 1149, 1000, 1002, 1002, 997, 991, 999, 999, 991, 996, 993, 994, 1149, 1149, 617, 1026, 656, 659, 1149, 662, 665, 1149, 0, 987, 0, 0, 978, 986, 975, 982, 0, 0, 976, 973, 0, 0, 973, 973, 970, 982, 972, 976, 981, 980, 978, 968, 973, 0, 961, 973, 1008, 639, 1007, 627, 1006, 636, 632, 646, 638, 641, 647, 650, 1005, 1004, 659, 682, 683, 687, 1003, 691, 1002, 685, 692, 694, 697, 696, 701, 695, 698, 699, 700, 703, 702, 704, 706, 707, 1001, 710, 708, 712, 709, 1000, 711, 715, 955, 1149, 1149, 961, 950, 959, 959, 944, 1149, 950, 955, 988, 1149, 987, 0, 0, 945, 946, 951, 942, 0, 936, 940, 0, 948, 945, 947, 931, 940, 942, 0, 933, 936, 0, 975, 974, 973, 972, 713, 714, 718, 722, 721, 716, 719, 971, 727, 728, 720, 723, 724, 742, 748, 730, 725, 753, 766, 970, 767, 770, 771, 772, 775, 777, 779, 969, 780, 783, 785, 968, 931, 1149, 1149, 1149, 929, 930, 932, 1149, 913, 913, 0, 0, 925, 0, 0, 0, 0, 0, 0, 923, 923, 916, 781, 784, 957, 956, 786, 787, 955, 954, 953, 789, 790, 792, 788, 952, 951, 793, 794, 950, 949, 948, 947, 938, 937, 795, 934, 799, 796, 797, 1149, 1149, 892, 1149, 886, 0, 804, 0, 814, 812, 800, 846, 845, 798, 803, 791, 842, 804, 806, 841, 823, 809, 818, 811, 1149, 0, 0, 0, 0, 817, 808, 812, 631, 819, 628, 492, 351, 68, 64, 1149, 863, 872, 881, 890, 898, 902, 911, 920, 926, 932, 939, 943, 945, 948 } ; static const short int yy_def[623] = { 0, 608, 1, 609, 609, 610, 610, 611, 611, 612, 612, 608, 11, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 613, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 614, 614, 608, 608, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 615, 616, 608, 608, 608, 617, 608, 608, 608, 608, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 619, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 620, 608, 608, 608, 608, 608, 614, 608, 613, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 615, 608, 616, 608, 608, 617, 608, 608, 608, 608, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 621, 608, 608, 608, 608, 608, 608, 608, 608, 608, 620, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 608, 608, 608, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 622, 608, 608, 608, 608, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 608, 608, 608, 608, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 614, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 608, 608, 608, 614, 614, 614, 614, 614, 614, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 608, 614, 614, 614, 614, 618, 618, 618, 618, 618, 618, 618, 618, 618, 618, 0, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608 } ; static const short int yy_nxt[1218] = { 0, 14, 15, 16, 17, 15, 18, 19, 20, 14, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 33, 34, 35, 36, 37, 38, 39, 14, 40, 40, 40, 40, 41, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 40, 53, 40, 54, 40, 40, 40, 40, 55, 56, 57, 58, 59, 60, 40, 40, 40, 61, 62, 63, 64, 65, 68, 135, 65, 196, 69, 71, 68, 196, 71, 196, 69, 73, 74, 136, 73, 73, 74, 66, 73, 112, 77, 78, 112, 77, 75, 79, 77, 78, 75, 77, 123, 79, 128, 82, 83, 70, 82, 82, 83, 130, 82, 70, 149, 129, 80, 223, 124, 150, 131, 132, 80, 14, 15, 16, 17, 15, 18, 19, 20, 84, 21, 22, 23, 24, 25, 26, 27, 28, 85, 86, 87, 32, 33, 33, 88, 35, 36, 37, 38, 39, 14, 89, 89, 89, 89, 90, 89, 42, 43, 44, 45, 91, 92, 93, 94, 95, 96, 97, 89, 98, 89, 99, 89, 100, 101, 102, 103, 104, 105, 106, 107, 108, 89, 89, 89, 61, 62, 109, 64, 110, 115, 178, 110, 115, 133, 196, 134, 134, 134, 143, 144, 184, 137, 155, 139, 139, 139, 111, 146, 147, 156, 158, 160, 136, 161, 140, 157, 196, 141, 141, 159, 163, 166, 162, 164, 170, 171, 228, 140, 167, 179, 229, 116, 117, 141, 172, 361, 118, 173, 119, 196, 180, 141, 120, 180, 362, 187, 121, 137, 187, 138, 138, 139, 182, 188, 185, 182, 188, 196, 181, 185, 140, 219, 190, 141, 141, 190, 195, 130, 196, 195, 183, 196, 196, 140, 198, 196, 131, 197, 133, 141, 134, 134, 134, 135, 196, 186, 205, 141, 199, 185, 142, 196, 149, 185, 196, 136, 196, 150, 196, 196, 185, 297, 222, 185, 206, 185, 196, 185, 196, 298, 202, 207, 220, 213, 208, 214, 203, 209, 204, 221, 210, 184, 196, 196, 215, 112, 245, 291, 112, 211, 302, 115, 251, 136, 115, 354, 238, 224, 212, 252, 216, 239, 225, 217, 292, 218, 226, 230, 231, 227, 237, 196, 241, 243, 258, 241, 243, 232, 196, 196, 233, 234, 240, 259, 259, 187, 288, 293, 187, 235, 242, 244, 188, 116, 117, 188, 236, 289, 118, 196, 119, 247, 294, 248, 120, 299, 249, 300, 121, 134, 134, 134, 250, 305, 308, 196, 264, 264, 264, 180, 262, 263, 180, 263, 260, 196, 182, 265, 266, 182, 266, 196, 190, 262, 263, 190, 196, 181, 196, 263, 265, 266, 306, 196, 183, 137, 266, 138, 138, 139, 137, 196, 139, 139, 139, 196, 195, 311, 140, 195, 196, 267, 267, 140, 307, 196, 141, 141, 268, 196, 268, 140, 196, 269, 269, 269, 140, 267, 196, 309, 310, 196, 141, 312, 196, 267, 316, 313, 319, 196, 141, 196, 314, 196, 196, 196, 196, 315, 196, 196, 196, 196, 196, 320, 317, 196, 196, 196, 196, 196, 196, 196, 196, 318, 303, 381, 382, 322, 321, 355, 196, 324, 196, 241, 243, 323, 241, 243, 334, 357, 330, 326, 331, 325, 342, 328, 340, 358, 327, 332, 335, 242, 244, 336, 333, 329, 339, 344, 345, 343, 348, 353, 337, 341, 338, 347, 368, 196, 349, 350, 346, 196, 351, 196, 352, 369, 369, 371, 196, 371, 196, 196, 372, 372, 372, 264, 264, 264, 374, 196, 374, 196, 196, 375, 375, 375, 140, 373, 196, 373, 269, 269, 269, 269, 269, 269, 376, 376, 196, 140, 373, 196, 405, 406, 407, 373, 196, 196, 409, 196, 196, 410, 376, 408, 413, 196, 196, 414, 411, 412, 376, 415, 196, 196, 196, 196, 196, 196, 196, 196, 416, 196, 196, 196, 196, 196, 196, 417, 196, 196, 196, 196, 421, 419, 196, 420, 196, 196, 368, 418, 196, 422, 196, 196, 196, 196, 196, 460, 460, 196, 196, 423, 424, 425, 196, 433, 196, 196, 432, 196, 426, 427, 437, 430, 196, 196, 429, 428, 196, 434, 431, 435, 436, 442, 438, 446, 447, 196, 441, 439, 440, 443, 444, 445, 484, 448, 372, 372, 372, 372, 372, 372, 375, 375, 375, 375, 375, 375, 483, 486, 196, 196, 485, 196, 487, 196, 488, 490, 489, 196, 196, 491, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 492, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 497, 196, 196, 196, 196, 196, 196, 196, 196, 499, 196, 196, 493, 196, 495, 494, 500, 498, 496, 501, 502, 504, 507, 510, 511, 196, 503, 509, 512, 505, 508, 196, 506, 515, 518, 514, 196, 543, 513, 542, 541, 544, 516, 517, 545, 548, 547, 549, 546, 196, 196, 551, 550, 196, 196, 196, 552, 556, 196, 553, 196, 555, 196, 196, 196, 554, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 557, 559, 196, 196, 561, 196, 560, 196, 196, 558, 196, 196, 564, 563, 567, 565, 196, 196, 196, 581, 562, 584, 196, 566, 568, 601, 582, 585, 587, 588, 579, 589, 580, 583, 590, 598, 586, 591, 592, 602, 196, 196, 599, 604, 196, 196, 605, 597, 596, 600, 595, 606, 603, 607, 67, 67, 67, 67, 67, 67, 67, 67, 67, 72, 72, 72, 72, 72, 72, 72, 72, 72, 76, 76, 76, 76, 76, 76, 76, 76, 76, 81, 81, 81, 81, 81, 81, 81, 81, 81, 125, 125, 125, 125, 125, 125, 125, 125, 148, 148, 148, 148, 191, 191, 191, 191, 191, 191, 191, 191, 191, 193, 193, 193, 193, 193, 193, 193, 193, 193, 196, 594, 196, 196, 196, 196, 201, 593, 201, 201, 201, 201, 257, 196, 257, 257, 196, 196, 257, 270, 270, 370, 370, 462, 462, 462, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 196, 578, 577, 576, 575, 574, 573, 572, 571, 570, 569, 196, 196, 196, 196, 196, 196, 196, 196, 540, 539, 538, 537, 536, 535, 534, 533, 532, 531, 530, 529, 528, 527, 461, 368, 526, 525, 524, 523, 522, 521, 520, 519, 196, 196, 196, 196, 196, 196, 196, 196, 196, 482, 481, 480, 479, 478, 477, 476, 475, 474, 473, 472, 471, 470, 469, 468, 467, 466, 465, 464, 463, 461, 459, 458, 457, 456, 455, 454, 453, 452, 451, 450, 449, 196, 196, 196, 196, 196, 196, 404, 403, 402, 401, 400, 399, 398, 397, 396, 395, 394, 393, 392, 391, 390, 389, 388, 387, 386, 385, 384, 383, 380, 379, 378, 377, 367, 367, 366, 365, 364, 363, 360, 359, 356, 196, 196, 304, 194, 192, 303, 302, 301, 296, 295, 290, 287, 286, 285, 284, 283, 282, 281, 280, 279, 278, 277, 276, 275, 274, 273, 126, 272, 271, 261, 256, 255, 254, 253, 246, 196, 200, 194, 192, 189, 177, 176, 175, 174, 169, 168, 165, 154, 153, 152, 151, 145, 127, 126, 122, 114, 113, 608, 13, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608 } ; static const short int yy_chk[1218] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 31, 2, 607, 3, 4, 4, 606, 4, 100, 4, 5, 5, 31, 5, 6, 6, 2, 6, 15, 7, 7, 15, 7, 5, 7, 8, 8, 6, 8, 22, 8, 27, 9, 9, 3, 9, 10, 10, 29, 10, 4, 41, 27, 7, 100, 22, 41, 29, 29, 8, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 12, 20, 62, 12, 20, 30, 103, 30, 30, 30, 36, 36, 66, 33, 48, 33, 33, 33, 12, 38, 38, 48, 49, 50, 66, 50, 33, 48, 97, 33, 33, 49, 51, 53, 50, 51, 56, 56, 103, 33, 53, 62, 103, 20, 20, 33, 56, 251, 20, 56, 20, 92, 63, 33, 20, 63, 251, 71, 20, 32, 71, 32, 32, 32, 65, 73, 70, 65, 73, 99, 63, 70, 32, 97, 77, 32, 32, 77, 82, 85, 91, 82, 65, 95, 93, 32, 86, 98, 85, 85, 86, 32, 86, 86, 86, 87, 94, 70, 92, 32, 87, 70, 32, 101, 90, 70, 90, 87, 107, 90, 96, 102, 70, 175, 99, 70, 93, 70, 106, 70, 104, 175, 91, 93, 98, 95, 93, 95, 91, 93, 91, 98, 94, 111, 105, 108, 95, 112, 111, 171, 112, 94, 242, 115, 118, 111, 115, 242, 107, 101, 94, 118, 96, 107, 101, 96, 171, 96, 102, 104, 104, 102, 106, 202, 109, 110, 126, 109, 110, 104, 205, 605, 104, 105, 108, 126, 126, 187, 169, 172, 187, 105, 109, 110, 188, 115, 115, 188, 105, 169, 115, 203, 115, 117, 172, 117, 115, 176, 117, 176, 115, 134, 134, 134, 117, 202, 205, 204, 137, 137, 137, 180, 134, 134, 180, 134, 126, 207, 182, 137, 137, 182, 137, 206, 190, 134, 134, 190, 211, 180, 214, 134, 137, 137, 203, 209, 182, 138, 137, 138, 138, 138, 139, 208, 139, 139, 139, 210, 195, 207, 138, 195, 212, 138, 138, 139, 204, 213, 139, 139, 140, 215, 140, 138, 216, 140, 140, 140, 139, 138, 217, 206, 206, 218, 139, 208, 219, 138, 211, 209, 214, 221, 139, 222, 210, 223, 224, 227, 225, 210, 231, 226, 228, 230, 232, 215, 212, 229, 235, 233, 234, 236, 237, 240, 238, 213, 244, 277, 277, 216, 215, 244, 604, 218, 239, 241, 243, 217, 241, 243, 227, 247, 224, 221, 225, 219, 232, 222, 231, 247, 221, 226, 228, 241, 243, 229, 226, 223, 230, 233, 234, 232, 237, 240, 229, 231, 229, 236, 259, 307, 237, 238, 235, 311, 239, 312, 239, 259, 259, 262, 309, 262, 313, 308, 262, 262, 262, 264, 264, 264, 265, 310, 265, 315, 314, 265, 265, 265, 264, 264, 316, 264, 268, 268, 268, 269, 269, 269, 270, 270, 317, 264, 264, 318, 307, 308, 309, 264, 319, 320, 311, 321, 322, 312, 270, 310, 314, 324, 325, 315, 313, 313, 270, 316, 326, 330, 331, 328, 332, 333, 336, 338, 317, 334, 335, 337, 339, 342, 341, 318, 340, 343, 345, 344, 322, 320, 350, 321, 348, 347, 369, 319, 351, 324, 349, 353, 352, 408, 603, 369, 369, 601, 411, 325, 326, 328, 410, 337, 413, 406, 336, 414, 330, 331, 341, 334, 412, 415, 333, 332, 416, 338, 335, 339, 340, 347, 342, 351, 352, 419, 345, 343, 344, 348, 349, 350, 408, 353, 371, 371, 371, 372, 372, 372, 374, 374, 374, 375, 375, 375, 406, 411, 420, 421, 410, 426, 412, 422, 413, 415, 414, 424, 427, 416, 428, 432, 430, 429, 433, 434, 435, 431, 437, 436, 438, 419, 439, 440, 443, 445, 442, 447, 444, 487, 488, 448, 492, 426, 489, 493, 497, 491, 490, 498, 499, 503, 428, 495, 496, 420, 502, 422, 421, 429, 427, 424, 430, 431, 433, 436, 439, 440, 500, 432, 438, 442, 434, 437, 501, 435, 444, 448, 443, 504, 489, 442, 488, 487, 490, 445, 447, 491, 495, 493, 496, 492, 505, 507, 498, 497, 508, 509, 510, 499, 503, 511, 500, 512, 502, 513, 515, 541, 501, 516, 542, 517, 545, 546, 553, 550, 551, 584, 552, 556, 557, 564, 567, 568, 582, 566, 579, 504, 507, 583, 586, 509, 587, 508, 599, 590, 505, 592, 600, 512, 511, 516, 513, 598, 591, 602, 545, 510, 551, 589, 515, 517, 584, 546, 552, 556, 557, 541, 564, 542, 550, 566, 579, 553, 567, 568, 586, 588, 585, 582, 590, 581, 580, 592, 578, 577, 583, 575, 599, 587, 602, 609, 609, 609, 609, 609, 609, 609, 609, 609, 610, 610, 610, 610, 610, 610, 610, 610, 610, 611, 611, 611, 611, 611, 611, 611, 611, 611, 612, 612, 612, 612, 612, 612, 612, 612, 612, 613, 613, 613, 613, 613, 613, 613, 613, 614, 614, 614, 614, 615, 615, 615, 615, 615, 615, 615, 615, 615, 616, 616, 616, 616, 616, 616, 616, 616, 616, 617, 573, 617, 617, 617, 617, 618, 571, 618, 618, 618, 618, 619, 565, 619, 619, 563, 562, 619, 620, 620, 621, 621, 622, 622, 622, 561, 560, 559, 558, 555, 554, 549, 548, 547, 544, 543, 540, 539, 538, 531, 528, 527, 525, 524, 523, 519, 518, 514, 506, 494, 486, 485, 484, 483, 481, 480, 478, 477, 476, 475, 474, 473, 471, 470, 468, 467, 466, 465, 462, 460, 459, 458, 456, 455, 454, 453, 452, 449, 446, 441, 425, 423, 418, 417, 409, 407, 405, 404, 403, 401, 400, 399, 398, 397, 396, 395, 394, 393, 392, 391, 388, 387, 384, 383, 382, 381, 378, 370, 366, 365, 364, 363, 362, 361, 360, 359, 358, 357, 356, 346, 329, 327, 323, 306, 305, 301, 300, 299, 298, 297, 296, 295, 294, 293, 292, 291, 290, 289, 288, 287, 285, 283, 282, 281, 280, 279, 278, 276, 275, 274, 273, 258, 257, 255, 254, 253, 252, 249, 248, 246, 220, 201, 197, 193, 191, 183, 181, 177, 174, 173, 170, 168, 167, 165, 164, 163, 162, 161, 160, 159, 158, 157, 156, 155, 154, 153, 150, 147, 143, 133, 125, 121, 120, 119, 116, 89, 88, 80, 79, 75, 60, 59, 58, 57, 55, 54, 52, 47, 46, 45, 43, 37, 26, 23, 21, 18, 17, 13, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608, 608 } ; static yy_state_type yy_last_accepting_state; static YY_CHAR *yy_last_accepting_cpos; /* the intent behind this definition is that it'll catch * any uses of REJECT which flex missed */ #define REJECT reject_used_but_not_detected #define yymore() yymore_used_but_not_detected #define YY_MORE_ADJ 0 /* these variables are all declared out here so that section 3 code can * manipulate them */ /* points to current character in buffer */ static YY_CHAR *yy_c_buf_p = (YY_CHAR *) 0; static int yy_init = 1; /* whether we need to initialize */ static int yy_start = 0; /* start state number */ /* flag which is used to allow yywrap()'s to do buffer switches * instead of setting up a fresh yyin. A bit of a hack ... */ static int yy_did_buffer_switch_on_eof; static yy_state_type yy_get_previous_state YY_PROTO(( void )); static yy_state_type yy_try_NUL_trans YY_PROTO(( register yy_state_type current_state )); static int yy_get_next_buffer YY_PROTO(( void )); static void yyunput YY_PROTO(( YY_CHAR c, register YY_CHAR *buf_ptr )); void yyrestart YY_PROTO(( FILE *input_file )); void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer )); void yy_load_buffer_state YY_PROTO(( void )); YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size )); void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b )); void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file )); #define yy_new_buffer yy_create_buffer #ifdef __cplusplus static int yyinput YY_PROTO(( void )); #else static int input YY_PROTO(( void )); #endif YY_DECL { register yy_state_type yy_current_state; register YY_CHAR *yy_cp, *yy_bp; register int yy_act; INIT; if ( yy_init ) { YY_USER_INIT; if ( ! yy_start ) yy_start = 1; /* first start state */ if ( ! yyin ) yyin = stdin; if ( ! yyout ) yyout = stdout; if ( yy_current_buffer ) yy_init_buffer( yy_current_buffer, yyin ); else yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); yy_load_buffer_state(); yy_init = 0; } while ( 1 ) /* loops until end-of-file is reached */ { yy_cp = yy_c_buf_p; /* support of yytext */ *yy_cp = yy_hold_char; /* yy_bp points to the position in yy_ch_buf of the start of the * current run. */ yy_bp = yy_cp; yy_current_state = yy_start; if ( yy_bp[-1] == '\n' ) ++yy_current_state; yy_match: do { register YY_CHAR yy_c = yy_ec[*yy_cp]; if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 609 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; ++yy_cp; } while ( yy_current_state != 608 ); yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; yy_find_action: yy_act = yy_accept[yy_current_state]; YY_DO_BEFORE_ACTION; YY_USER_ACTION; do_action: /* this label is used only to access EOF actions */ switch ( yy_act ) { case 0: /* must backtrack */ /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yy_hold_char; yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; goto yy_find_action; case 1: # line 109 "c++2latex.l" { CPP; BEGIN (INCLUDE); } YY_BREAK case 2: # line 111 "c++2latex.l" case 3: # line 112 "c++2latex.l" case 4: # line 113 "c++2latex.l" case 5: # line 114 "c++2latex.l" case 6: # line 115 "c++2latex.l" case 7: # line 116 "c++2latex.l" case 8: # line 117 "c++2latex.l" case 9: # line 118 "c++2latex.l" case 10: # line 119 "c++2latex.l" case 11: # line 120 "c++2latex.l" case 12: # line 121 "c++2latex.l" case 13: # line 121 "c++2latex.l" CPP; YY_BREAK case 14: *yy_cp = yy_hold_char; /* undo effects of setting up yytext */ yy_c_buf_p = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ # line 124 "c++2latex.l" { OUT ("$<$"); FONT (string_font); SUB (yytext+1); OUT ("}$>$"); input(); INIT; } YY_BREAK case 15: *yy_cp = yy_hold_char; /* undo effects of setting up yytext */ yy_c_buf_p = yy_cp -= 1; YY_DO_BEFORE_ACTION; /* set up yytext again */ # line 127 "c++2latex.l" { OUT ("\""); FONT (string_font); SUB (yytext+1); OUT ("}\""); input(); INIT; } YY_BREAK case 16: # line 130 "c++2latex.l" ECHO; YY_BREAK case 17: # line 131 "c++2latex.l" OUT ("\\mbox{}\\\\\n"); YY_BREAK case 18: # line 132 "c++2latex.l" { REPARSE; INIT; } YY_BREAK case 19: # line 135 "c++2latex.l" case 20: # line 136 "c++2latex.l" case 21: # line 137 "c++2latex.l" case 22: # line 138 "c++2latex.l" case 23: # line 139 "c++2latex.l" case 24: # line 140 "c++2latex.l" case 25: # line 141 "c++2latex.l" case 26: # line 142 "c++2latex.l" case 27: # line 143 "c++2latex.l" case 28: # line 144 "c++2latex.l" case 29: # line 145 "c++2latex.l" case 30: # line 146 "c++2latex.l" case 31: # line 147 "c++2latex.l" case 32: # line 148 "c++2latex.l" case 33: # line 149 "c++2latex.l" case 34: # line 150 "c++2latex.l" case 35: # line 151 "c++2latex.l" case 36: # line 152 "c++2latex.l" case 37: # line 153 "c++2latex.l" case 38: # line 154 "c++2latex.l" case 39: # line 155 "c++2latex.l" case 40: # line 156 "c++2latex.l" case 41: # line 157 "c++2latex.l" case 42: # line 158 "c++2latex.l" case 43: # line 159 "c++2latex.l" case 44: # line 160 "c++2latex.l" case 45: # line 161 "c++2latex.l" case 46: # line 162 "c++2latex.l" case 47: # line 163 "c++2latex.l" case 48: # line 164 "c++2latex.l" case 49: # line 165 "c++2latex.l" case 50: # line 166 "c++2latex.l" case 51: # line 167 "c++2latex.l" case 52: # line 168 "c++2latex.l" case 53: # line 169 "c++2latex.l" case 54: # line 170 "c++2latex.l" case 55: # line 171 "c++2latex.l" case 56: # line 172 "c++2latex.l" case 57: # line 173 "c++2latex.l" case 58: # line 174 "c++2latex.l" case 59: # line 175 "c++2latex.l" case 60: # line 176 "c++2latex.l" case 61: # line 177 "c++2latex.l" case 62: # line 178 "c++2latex.l" case 63: # line 179 "c++2latex.l" case 64: # line 180 "c++2latex.l" case 65: # line 181 "c++2latex.l" case 66: # line 182 "c++2latex.l" case 67: # line 183 "c++2latex.l" case 68: # line 184 "c++2latex.l" case 69: # line 185 "c++2latex.l" case 70: # line 186 "c++2latex.l" case 71: # line 187 "c++2latex.l" case 72: # line 188 "c++2latex.l" case 73: # line 188 "c++2latex.l" KEY; YY_BREAK case 74: # line 189 "c++2latex.l" SYM ("rightarrow"); YY_BREAK case 75: # line 190 "c++2latex.l" SYM ("ll"); YY_BREAK case 76: # line 191 "c++2latex.l" SYM ("gg"); YY_BREAK case 77: # line 192 "c++2latex.l" SYM ("leq"); YY_BREAK case 78: # line 193 "c++2latex.l" SYM ("geq"); YY_BREAK case 79: # line 194 "c++2latex.l" SYM ("neq"); YY_BREAK case 80: # line 195 "c++2latex.l" SYM ("mid\\mid"); YY_BREAK case 81: # line 196 "c++2latex.l" SYM ("ldots"); YY_BREAK case 82: # line 197 "c++2latex.l" SYM ("ast="); YY_BREAK case 83: # line 198 "c++2latex.l" SYM ("ll="); YY_BREAK case 84: # line 199 "c++2latex.l" SYM ("gg="); YY_BREAK case 85: # line 200 "c++2latex.l" SYM ("vee="); YY_BREAK case 86: # line 201 "c++2latex.l" SYM ("mid="); YY_BREAK case 87: # line 202 "c++2latex.l" SYM ("sim"); YY_BREAK case 88: # line 203 "c++2latex.l" SYM ("ast"); YY_BREAK case 89: # line 204 "c++2latex.l" SYM ("wedge"); YY_BREAK case 90: # line 205 "c++2latex.l" SYM ("mid"); YY_BREAK case 91: # line 206 "c++2latex.l" SYM ("rightarrow\\ast"); YY_BREAK case 92: # line 207 "c++2latex.l" OUT ("$/$"); YY_BREAK case 93: # line 208 "c++2latex.l" OUT ("$<$"); YY_BREAK case 94: # line 209 "c++2latex.l" OUT ("$>$"); YY_BREAK case 95: # line 210 "c++2latex.l" OUT ("\\&\\&"); YY_BREAK case 96: # line 211 "c++2latex.l" OUT ("\\%="); YY_BREAK case 97: # line 212 "c++2latex.l" OUT ("\\&="); YY_BREAK case 98: # line 213 "c++2latex.l" OUT ("\\{"); YY_BREAK case 99: # line 214 "c++2latex.l" OUT ("\\}"); YY_BREAK case 100: # line 215 "c++2latex.l" OUT ("\\&"); YY_BREAK case 101: # line 216 "c++2latex.l" OUT ("\\%"); YY_BREAK case 102: # line 217 "c++2latex.l" OUT ("-{}-"); YY_BREAK case 103: # line 218 "c++2latex.l" OUT (".$\\ast$"); YY_BREAK case 104: # line 220 "c++2latex.l" case 105: # line 221 "c++2latex.l" case 106: # line 222 "c++2latex.l" case 107: # line 223 "c++2latex.l" case 108: # line 224 "c++2latex.l" case 109: # line 225 "c++2latex.l" case 110: # line 226 "c++2latex.l" case 111: # line 227 "c++2latex.l" case 112: # line 228 "c++2latex.l" case 113: # line 229 "c++2latex.l" case 114: # line 230 "c++2latex.l" case 115: # line 231 "c++2latex.l" case 116: # line 232 "c++2latex.l" case 117: # line 233 "c++2latex.l" case 118: # line 234 "c++2latex.l" case 119: # line 235 "c++2latex.l" case 120: # line 236 "c++2latex.l" case 121: # line 237 "c++2latex.l" case 122: # line 237 "c++2latex.l" ECHO; YY_BREAK case 123: # line 240 "c++2latex.l" case 124: # line 240 "c++2latex.l" SUB (yytext); YY_BREAK /* 1. Asterisk comments mini scanner */ /* 1.1. Curly brace comment */ case 125: # line 244 "c++2latex.l" { BEGIN (BCOMMENT); OUT ("\\}"); BTAB; FONT (comment_font); OUT ("/$\\ast$"); } YY_BREAK /* 1.2. Comments at the beginning of a line */ case 126: # line 251 "c++2latex.l" { BEGIN (BCOMMENT); FONT (comment_font); REPARSE; } YY_BREAK /* 1.3. Other comments, aligned to right side of paper */ case 127: # line 256 "c++2latex.l" { BEGIN (BCOMMENT); if (aligntoright) { OUT ("\\hfill"); } else { CTAB; } FONT (comment_font); OUT ("/$\\ast$"); } YY_BREAK case 128: # line 265 "c++2latex.l" { INIT; OUT ("$\\ast$/}"); } YY_BREAK case 129: # line 266 "c++2latex.l" OUT ("\\mbox{}\\\\\n"); YY_BREAK case 130: # line 267 "c++2latex.l" IND; YY_BREAK case 131: # line 268 "c++2latex.l" SUB (yytext); YY_BREAK /* 2. Double slash ``//'' comments mini scanner */ /* 2.1. Curly brace comment */ case 132: # line 272 "c++2latex.l" { BEGIN (SLASHCOMMENT); OUT ("\\}"); BTAB; FONT (comment_font); OUT ("//");} YY_BREAK /* 2.2. Complete line comment */ case 133: # line 279 "c++2latex.l" { BEGIN (SLASHCOMMENT); FONT (comment_font); REPARSE; } YY_BREAK /* 2.3. Other comments */ case 134: # line 284 "c++2latex.l" { BEGIN (SLASHCOMMENT); if (aligntoright) { OUT ("\\hfill"); } else { CTAB; } FONT (comment_font); OUT ("//"); } YY_BREAK case 135: # line 293 "c++2latex.l" { INIT; OUT ("}\\mbox{}\\\\\n"); } YY_BREAK case 136: # line 294 "c++2latex.l" IND; YY_BREAK case 137: # line 295 "c++2latex.l" SUB (yytext); YY_BREAK case 138: # line 298 "c++2latex.l" { BEGIN (STRING); FONT (string_font); OUT ("\""); } YY_BREAK case 139: # line 300 "c++2latex.l" OUT ("$\\backslash\\backslash$"); YY_BREAK case 140: # line 301 "c++2latex.l" { OUT ("$\\backslash$"); SUB (yytext+1); } YY_BREAK case 141: # line 302 "c++2latex.l" { INIT; OUT ("\"}"); } YY_BREAK case 142: # line 303 "c++2latex.l" OUT ("\\mbox{}\\\\\n"); YY_BREAK case 143: # line 304 "c++2latex.l" IND; YY_BREAK case 144: # line 305 "c++2latex.l" SUB (yytext); YY_BREAK case 145: # line 308 "c++2latex.l" case 146: # line 309 "c++2latex.l" case 147: # line 310 "c++2latex.l" case 148: # line 310 "c++2latex.l" ECHO; YY_BREAK case 149: # line 312 "c++2latex.l" ECHO; YY_BREAK case 150: # line 315 "c++2latex.l" case 151: # line 316 "c++2latex.l" case 152: # line 317 "c++2latex.l" case 153: # line 317 "c++2latex.l" SUB (yytext); YY_BREAK case 154: # line 319 "c++2latex.l" ECHO; YY_BREAK case 155: # line 321 "c++2latex.l" ECHO; YY_BREAK case 156: # line 323 "c++2latex.l" OUT ("$\\backslash$\\\\\n"); YY_BREAK case 157: # line 324 "c++2latex.l" IND; YY_BREAK case 158: # line 325 "c++2latex.l" ECHO; YY_BREAK case 159: # line 326 "c++2latex.l" OUT ("\\newpage\n"); YY_BREAK case 160: # line 327 "c++2latex.l" OUT ("\\mbox{}\\\\\n"); YY_BREAK case 161: # line 329 "c++2latex.l" ECHO; YY_BREAK case YY_STATE_EOF(INITIAL): case YY_STATE_EOF(STRING): case YY_STATE_EOF(BCOMMENT): case YY_STATE_EOF(INCLUDE): case YY_STATE_EOF(SLASHCOMMENT): case YY_STATE_EOF(CPLUSPLUS): yyterminate(); case YY_END_OF_BUFFER: { /* amount of text matched not including the EOB char */ int yy_amount_of_matched_text = yy_cp - yytext - 1; /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yy_hold_char; /* note that here we test for yy_c_buf_p "<=" to the position * of the first EOB in the buffer, since yy_c_buf_p will * already have been incremented past the NUL character * (since all states make transitions on EOB to the end- * of-buffer state). Contrast this with the test in yyinput(). */ if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] ) /* this was really a NUL */ { yy_state_type yy_next_state; yy_c_buf_p = yytext + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state(); /* okay, we're now positioned to make the * NUL transition. We couldn't have * yy_get_previous_state() go ahead and do it * for us because it doesn't know how to deal * with the possibility of jamming (and we * don't want to build jamming into it because * then it will run more slowly) */ yy_next_state = yy_try_NUL_trans( yy_current_state ); yy_bp = yytext + YY_MORE_ADJ; if ( yy_next_state ) { /* consume the NUL */ yy_cp = ++yy_c_buf_p; yy_current_state = yy_next_state; goto yy_match; } else { yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; goto yy_find_action; } } else switch ( yy_get_next_buffer() ) { case EOB_ACT_END_OF_FILE: { yy_did_buffer_switch_on_eof = 0; if ( yywrap() ) { /* note: because we've taken care in * yy_get_next_buffer() to have set up yytext, * we can now set up yy_c_buf_p so that if some * total hoser (like flex itself) wants * to call the scanner after we return the * YY_NULL, it'll still work - another YY_NULL * will get returned. */ yy_c_buf_p = yytext + YY_MORE_ADJ; yy_act = YY_STATE_EOF((yy_start - 1) / 2); goto do_action; } else { if ( ! yy_did_buffer_switch_on_eof ) YY_NEW_FILE; } } break; case EOB_ACT_CONTINUE_SCAN: yy_c_buf_p = yytext + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state(); yy_cp = yy_c_buf_p; yy_bp = yytext + YY_MORE_ADJ; goto yy_match; case EOB_ACT_LAST_MATCH: yy_c_buf_p = &yy_current_buffer->yy_ch_buf[yy_n_chars]; yy_current_state = yy_get_previous_state(); yy_cp = yy_c_buf_p; yy_bp = yytext + YY_MORE_ADJ; goto yy_find_action; } break; } default: #ifdef FLEX_DEBUG printf( "action # %d\n", yy_act ); #endif YY_FATAL_ERROR( "fatal flex scanner internal error--no action found" ); } } } /* yy_get_next_buffer - try to read in a new buffer * * synopsis * int yy_get_next_buffer(); * * returns a code representing an action * EOB_ACT_LAST_MATCH - * EOB_ACT_CONTINUE_SCAN - continue scanning from current position * EOB_ACT_END_OF_FILE - end of file */ static int yy_get_next_buffer() { register YY_CHAR *dest = yy_current_buffer->yy_ch_buf; register YY_CHAR *source = yytext - 1; /* copy prev. char, too */ register int number_to_move, i; int ret_val; if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] ) YY_FATAL_ERROR( "fatal flex scanner internal error--end of buffer missed" ); /* try to read more data */ /* first move last chars to start of buffer */ number_to_move = yy_c_buf_p - yytext; for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++); if ( yy_current_buffer->yy_eof_status != EOF_NOT_SEEN ) /* don't do the read, it's not guaranteed to return an EOF, * just force an EOF */ yy_n_chars = 0; else { int num_to_read = yy_current_buffer->yy_buf_size - number_to_move - 1; if ( num_to_read > YY_READ_BUF_SIZE ) num_to_read = YY_READ_BUF_SIZE; else if ( num_to_read <= 0 ) YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" ); /* read in more data */ YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]), yy_n_chars, num_to_read ); } if ( yy_n_chars == 0 ) { if ( number_to_move == 1 ) { ret_val = EOB_ACT_END_OF_FILE; yy_current_buffer->yy_eof_status = EOF_DONE; } else { ret_val = EOB_ACT_LAST_MATCH; yy_current_buffer->yy_eof_status = EOF_PENDING; } } else ret_val = EOB_ACT_CONTINUE_SCAN; yy_n_chars += number_to_move; yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR; yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR; /* yytext begins at the second character in yy_ch_buf; the first * character is the one which preceded it before reading in the latest * buffer; it needs to be kept around in case it's a newline, so * yy_get_previous_state() will have with '^' rules active */ yytext = &yy_current_buffer->yy_ch_buf[1]; return ( ret_val ); } /* yy_get_previous_state - get the state just before the EOB char was reached * * synopsis * yy_state_type yy_get_previous_state(); */ static yy_state_type yy_get_previous_state() { register yy_state_type yy_current_state; register YY_CHAR *yy_cp; register YY_CHAR *yy_bp = yytext; yy_current_state = yy_start; if ( yy_bp[-1] == '\n' ) ++yy_current_state; for ( yy_cp = yytext + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp ) { register YY_CHAR yy_c = (*yy_cp ? yy_ec[*yy_cp] : 1); if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 609 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; } return ( yy_current_state ); } /* yy_try_NUL_trans - try to make a transition on the NUL character * * synopsis * next_state = yy_try_NUL_trans( current_state ); */ #ifdef YY_USE_PROTOS static yy_state_type yy_try_NUL_trans( register yy_state_type yy_current_state ) #else static yy_state_type yy_try_NUL_trans( yy_current_state ) register yy_state_type yy_current_state; #endif { register int yy_is_jam; register YY_CHAR *yy_cp = yy_c_buf_p; register YY_CHAR yy_c = 1; if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 609 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; yy_is_jam = (yy_current_state == 608); return ( yy_is_jam ? 0 : yy_current_state ); } #ifdef YY_USE_PROTOS static void yyunput( YY_CHAR c, register YY_CHAR *yy_bp ) #else static void yyunput( c, yy_bp ) YY_CHAR c; register YY_CHAR *yy_bp; #endif { register YY_CHAR *yy_cp = yy_c_buf_p; /* undo effects of setting up yytext */ *yy_cp = yy_hold_char; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) { /* need to shift things up to make room */ register int number_to_move = yy_n_chars + 2; /* +2 for EOB chars */ register YY_CHAR *dest = &yy_current_buffer->yy_ch_buf[yy_current_buffer->yy_buf_size + 2]; register YY_CHAR *source = &yy_current_buffer->yy_ch_buf[number_to_move]; while ( source > yy_current_buffer->yy_ch_buf ) *--dest = *--source; yy_cp += dest - source; yy_bp += dest - source; yy_n_chars = yy_current_buffer->yy_buf_size; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); } if ( yy_cp > yy_bp && yy_cp[-1] == '\n' ) yy_cp[-2] = '\n'; *--yy_cp = c; /* note: the formal parameter *must* be called "yy_bp" for this * macro to now work correctly */ YY_DO_BEFORE_ACTION; /* set up yytext again */ } #ifdef __cplusplus static int yyinput() #else static int input() #endif { int c; YY_CHAR *yy_cp = yy_c_buf_p; *yy_cp = yy_hold_char; if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) { /* yy_c_buf_p now points to the character we want to return. * If this occurs *before* the EOB characters, then it's a * valid NUL; if not, then we've hit the end of the buffer. */ if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] ) /* this was really a NUL */ *yy_c_buf_p = '\0'; else { /* need more input */ yytext = yy_c_buf_p; ++yy_c_buf_p; switch ( yy_get_next_buffer() ) { case EOB_ACT_END_OF_FILE: { if ( yywrap() ) { yy_c_buf_p = yytext + YY_MORE_ADJ; return ( EOF ); } YY_NEW_FILE; #ifdef __cplusplus return ( yyinput() ); #else return ( input() ); #endif } break; case EOB_ACT_CONTINUE_SCAN: yy_c_buf_p = yytext + YY_MORE_ADJ; break; case EOB_ACT_LAST_MATCH: #ifdef __cplusplus YY_FATAL_ERROR( "unexpected last match in yyinput()" ); #else YY_FATAL_ERROR( "unexpected last match in input()" ); #endif } } } c = *yy_c_buf_p; yy_hold_char = *++yy_c_buf_p; return ( c ); } #ifdef YY_USE_PROTOS void yyrestart( FILE *input_file ) #else void yyrestart( input_file ) FILE *input_file; #endif { yy_init_buffer( yy_current_buffer, input_file ); yy_load_buffer_state(); } #ifdef YY_USE_PROTOS void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer ) #else void yy_switch_to_buffer( new_buffer ) YY_BUFFER_STATE new_buffer; #endif { if ( yy_current_buffer == new_buffer ) return; if ( yy_current_buffer ) { /* flush out information for old buffer */ *yy_c_buf_p = yy_hold_char; yy_current_buffer->yy_buf_pos = yy_c_buf_p; yy_current_buffer->yy_n_chars = yy_n_chars; } yy_current_buffer = new_buffer; yy_load_buffer_state(); /* we don't actually know whether we did this switch during * EOF (yywrap()) processing, but the only time this flag * is looked at is after yywrap() is called, so it's safe * to go ahead and always set it. */ yy_did_buffer_switch_on_eof = 1; } #ifdef YY_USE_PROTOS void yy_load_buffer_state( void ) #else void yy_load_buffer_state() #endif { yy_n_chars = yy_current_buffer->yy_n_chars; yytext = yy_c_buf_p = yy_current_buffer->yy_buf_pos; yyin = yy_current_buffer->yy_input_file; yy_hold_char = *yy_c_buf_p; } #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_create_buffer( FILE *file, int size ) #else YY_BUFFER_STATE yy_create_buffer( file, size ) FILE *file; int size; #endif { YY_BUFFER_STATE b; b = (YY_BUFFER_STATE) malloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); b->yy_buf_size = size; /* yy_ch_buf has to be 2 characters longer than the size given because * we need to put in 2 end-of-buffer characters. */ b->yy_ch_buf = (YY_CHAR *) malloc( (unsigned) (b->yy_buf_size + 2) ); if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); yy_init_buffer( b, file ); return ( b ); } #ifdef YY_USE_PROTOS void yy_delete_buffer( YY_BUFFER_STATE b ) #else void yy_delete_buffer( b ) YY_BUFFER_STATE b; #endif { if ( b == yy_current_buffer ) yy_current_buffer = (YY_BUFFER_STATE) 0; free( (char *) b->yy_ch_buf ); free( (char *) b ); } #ifdef YY_USE_PROTOS void yy_init_buffer( YY_BUFFER_STATE b, FILE *file ) #else void yy_init_buffer( b, file ) YY_BUFFER_STATE b; FILE *file; #endif { b->yy_input_file = file; /* we put in the '\n' and start reading from [1] so that an * initial match-at-newline will be true. */ b->yy_ch_buf[0] = '\n'; b->yy_n_chars = 1; /* we always need two end-of-buffer characters. The first causes * a transition to the end-of-buffer state. The second causes * a jam in that state. */ b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; b->yy_ch_buf[2] = YY_END_OF_BUFFER_CHAR; b->yy_buf_pos = &b->yy_ch_buf[1]; b->yy_eof_status = EOF_NOT_SEEN; } # line 329 "c++2latex.l" #ifndef LATTICE #include "main.c" #endif